Institute of technology - PDFSEARCH.IO - Document Search Engine

Institute of technology
Results: 58361

#	Item
11	Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:29:11 Model checkers Theoretical computer science Formal methods Software engineering Logic in computer science Model checking Search algorithms Formal verification SPIN model checker Verification Swarm behaviour Promela
12	Partial Aborts for Transactions via First-Class Continuations Matthew Le Matthew Fluet Rochester Institute of Technology, USA Add to Reading List Source URL: manticore.cs.uchicago.edu Language: English - Date: 2017-07-17 11:35:05
13	Call Arity Joachim Breitner Karlsruhe Institute of Technology Abstract Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37
14	Look Before You Shame: A Study on Shaming Activities on Twitter Rajesh Basak, Niloy Ganguly, Shamik Sural, Soumya K Ghosh Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur Kharagpur, Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:23:08 Technology Computing World Wide Web Social media Internet vigilantism Internet-based activism Cyberspace Internet culture Online shaming Twitter Tweet Hashtag
15	Changes in the Wage Structure, Family Income, and Children’s Education¤ Daron Acemoglu Massachusetts Institute of Technology Jörn-Ste¤en Pischke Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2000-09-13 12:24:58 Economy Social inequality Demand Elasticity Income elasticity of demand Poverty Economic inequality Income tax in the United States Production Per capita income G factor Permanent income hypothesis
16	For the DISTINCT Clause of SPARQL Queries Medha Atre Dept. of Computer Science and Engineering Indian Institute of Technology, Kanpur, India Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:50:47 Graph theory Computing Resource Description Framework Query languages Mathematics Discrete mathematics SPARQL FO Graph Directed graph RDFLib
17	Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:15 Model checkers Promela Computing Model checking SPIN model checker Gerard J. Holzmann Modeling language Mars Exploration Rover Economic model Theoretical computer science Notation
18	Experience with Rule-Based Analysis of Spacecraft Logs? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2015-01-06 12:33:50 Concurrency control Computing Computer programming Data management Lock N1 Monitor File locking APT
19	Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014 Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2014-12-09 08:27:27 Software testing Hardware verification languages Electronic engineering Verification Model checking Software verification KTH Royal Institute of Technology E Functional verification Formal methods
20	One shot learning of simple visual concepts Brenden M. Lake, Ruslan Salakhutdinov, Jason Gross, and Joshua B. Tenenbaum Department of Brain and Cognitive Sciences Massachusetts Institute of Technology Abstract Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2011-05-20 18:34:57 Languages of East Asia Artificial neural networks Chinese characters Korean language Languages of Asia Artificial intelligence Market research Stroke One-shot learning Deep learning MNIST database Symbol